module Module

val (|A|_|): a -> b
